1. <A> Roadmap for Formal Property Verification
پدیدآورنده : \ by Pallab Dasgupta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Verification,مدارهای مجتمع -- راستیآزمایی
رده :
E-Book
,
2. A roadmap for formal property verification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ;
3. ASIC and EPGA verification: a guide to component modeling
پدیدآورنده : Munden, Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Application specific integrated circuits,، Field programmable gate arrays
رده :
TK
7874
.
6
.
M85
2005
4. ASIC and FPGA Verification
پدیدآورنده : \ Richard Munden
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Application specific integrated circuits,مدار مجتمع کاربرد - ویژه
رده :
E-Book
,
5. ASIC and FPGA verification
پدیدآورنده : / Richard Munden
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Application specific integrated circuits
رده :
E-BOOK
6. ASIC and FPGA verification
پدیدآورنده : / Richard Munden
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Application specific integrated circuits
رده :
TK7874
.
6
.
M86
2005
7. ASIC and FPGA verification
پدیدآورنده : / Richard Munden
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Application specific integrated circuits
رده :
TK7874
.
6
.
M86
2005
8. ASIC and FPGA verification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Application specific integrated circuits. ;
9. ASIC and FPGA verification : a guide to component modeling
پدیدآورنده : Munden, Richard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Application specific integrated circuits
رده :
TK
7874
.
6
.
M96A8
10. ASIC and FPGA verification: a guide to component modeling
پدیدآورنده : Munden, Richard
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Application specific integrated circuits
رده :
TK
7874
.
6
.
M86
2005
11. Abstraction refinement for large scale model checking
پدیدآورنده : Wang, Chao
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems
رده :
QA
76
.
76
.
V47W36
2006
12. Advanced techniques in logic synthesis, optimizations and application
پدیدآورنده : / Sunil P. Khatri, Kanupriya Gulati, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic design,Electronic books
رده :
TK7888
.
4
.
A38
2011
13. Advanced verification techniques
پدیدآورنده : / by Leena Singh, Leonard Drucker, Neyaz Khann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits , Verification,Electronic books. , local
رده :
E-BOOK
14. Analog circuit desig
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Linear integrated circuits - Design and construction,Electronic circuit design
رده :
TK7874
.
654
.
W67
2005
15. Analog circuit design
پدیدآورنده : / edited by Michiel Steyaert, Arthur H.M. van Roermund, Johan H. Huijsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Linear integrated circuit--Design and construction,Electronic circuit design,Analog circuit desig
رده :
E-BOOK
16. Assertion-Based Design
پدیدآورنده : \ Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدارهای مجتمع -- راستیآزمایی,وریلاگ (زبان توصیفی سختافزار کامپیوتر)
رده :
E-Book
,
17. Assertion-based design
پدیدآورنده : / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
رده :
E-BOOK
18. Assertion-based design
پدیدآورنده : / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
رده :
TK7874
.
75
F68
2004
19. Authentication of embedded devices :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ;
20. Business data communications
پدیدآورنده : Manish Agrawal
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Business enterprises, Computer networks,Computer networks,Data transmission systems,Information technology, Management
رده :
HF
5548
,.
2
.
A35B8
2011